How to Tackle Schema Validation by View Updating

نویسندگان

  • Hendrik Decker
  • Ernest Teniente
  • Toni Urpí
چکیده

Schema validation and view updating are database engineering problems which seem to differ significantly. Hence, for solving them, significantly different approaches are taken, usually. However, one of the contributions of this paper is: We show that any sound method for view updating can effectively be used also for validating schema specifications. We consider typical schema validation tasks such as checking schema satisfiability, liveliness of a predicate, reachability of partially specified states and redundancy of integrity constraint specifications, and we show how, with any sound method for view updating, these tasks can be tackled in a uniform way. For illustrating our point, we shortly recapitulate a concrete method for view updating and apply it to tackle these tasks. We emphasize that our general approach is independent of any particular method for view updating. Other contributions consists in refined concepts of schema satisfiability and integrity redundance. Both can be expressed in related terms of liveliness and reachability, and yield results that compare advantageously to what has been proposed so far, in the

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the abductive or deductive nature of database schema validation and update processing problems

We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as problems of either abductive or deductive nature, according to the reasoning paradigm that inherently suites them. This is done by performing abductive and deducti...

متن کامل

Updating Views Over Recursive XML

We study the problem of updating XML views defined over XML documents. A view update is performed by finding the base updates over the underlying data sources that achieve the desired view update. If such base updates do not exist, the view update is said to be untranslatable and rejected. In SQL, determining whether a view update is translatable is performed using schema level analysis, where ...

متن کامل

An Optimized Two-Step Solution for Updating XML Views

View updating is a long standing difficult problem. Given a view defined over base data sources and a view update, there are several different updates over the base data sources, called translations, that perform the update. A translation is said to be correct if it performs the update and at the same time does not update any portion of the view not specified in the update (no view side-effects...

متن کامل

Integrating Correction into Incremental Validation

Many data on the Web are XML documents. An XML document is an unranked labelled tree. A schema for XML documents (for instance a DTD) is the specification of their internal structure: a schema is a tree grammar, and validating a document w.r.t. a schema is done by a running of a tree automaton. Given a document, valid w.r.t. a DTD, and a sequence of updates (insertions, deletions and replacemen...

متن کامل

A Survey of Current Methods for Integrity Constraint Maintenance and View Updating

During the process of updating a database, two interrelated problems could arise. On one hand, when an update is applied to the database, integrity constraints could become violated, thus falsifying database consistency. In this case, the integrity constraint maintenance approach tries to obtain additional updates to be applied to re-establish database consistency. On the other hand, when an up...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996